% !TEX root = agreement.tex

\documentclass[11pt]{article}

\usepackage{bbold}
\usepackage{booktabs}
\usepackage{algorithm}
\usepackage{comment}
\usepackage[noend]{algorithmic}
\usepackage{algorithmicext}
\usepackage{pifont}
\usepackage{ifthen}
\newconstruct{\PROC}{\textbf{procedure}}{}{\ENDPROC}{\textbf{end procedure}}
\newconstruct{\FUNC}{\textbf{function}}{}{\ENDFUNC}{\textbf{end function}}
\usepackage{fullpage}
\usepackage{times}
\usepackage{amsmath,amssymb,amsthm}

\setlength{\textheight}{9.12in}
\setlength{\textwidth}{6.55in}



%\usepackage{jeffe}
\usepackage{graphicx}
%\usepackage{caption}
%\usepackage{subcaption}
\usepackage{color}
\usepackage{mathrsfs }
\usepackage[normalem]{ulem}
\usepackage{paralist}
\newcommand{\msg}[1]{\langle#1\rangle}
\renewcommand{\epsilon}{\varepsilon}
\newcommand{\red}[1]{{\textcolor{red}{#1}}}
\newcommand{\blue}[1]{\textcolor{blue}{#1}}
\newcommand{\add}[1]{{\red{#1}}}
\newcommand{\del}[1]{\sout{#1}}
%\newcommand{\comment}[1]{{\red{{\em #1}}}}
\newcommand{\todo}[1]{\noindent\textbf{TODO: }\marginpar{****}%
\textit{\red{{#1}}}\textbf{ :ODOT}}%

\newcommand{\Vbyz}{V_\text{byz}}
\newcommand{\Vgood}{V_\text{corr}}
\newcommand{\I}{\mathcal{I}}
\newcommand{\G}{\mathcal{G}}
\newcommand{\Hg}{\mathcal{H}}
\newcommand{\bG}{\bar{\mathcal{G}}}
\newcommand{\bg}{\bar{G}}
\newcommand{\bv}{\bar{V}}
\newcommand{\be}{\bar{E}}
\renewcommand{\u}{\mathsf{u}}
\newcommand{\m}{\mathsc{m}}
\renewcommand{\d}{\mathsc{d}}
\newcommand{\dec}{\mathsc{dec}}
\newcommand{\est}{\mathsc{est}}
%\renewcommand{\t}{\tau_{\textsc{mix}}}
%\renewcommand{\t}{\tau}


\newcommand{\HeartI}{\textsc{Com}_\I}
\newcommand{\Heart}{\textsc{Com}}
\newcommand{\Comm}{\textsc{Com}}
\newcommand{\Com}{\textsc{Com}}
\newcommand{\CommI}{\textsc{Com}_\I}
\newcommand{\ins}[1]{\texttt{insert(\ensuremath{#1})}}
\newcommand{\store}[1]{\texttt{store(\ensuremath{#1})}}
\newcommand{\lookup}[1]{\texttt{lookup(\ensuremath{#1})}}
\newcommand{\retrieve}[1]{\texttt{retrieve(\ensuremath{#1})}}

\newcommand{\Exp}[1]{\text{E}\left[#1\right]}
\newcommand{\Prob}[1]{\text{Pr}\left[#1\right]}
\newcommand{\Var}[1]{\text{Var}\left[#1\right]}

\newcommand{\core}{\mathsc{{Core}}}
\newcommand{\Core}{\core}
\newcommand{\zeros}{\mathbf{0}}
\newcommand{\ones}{\mathbf{1}}
\newcommand{\pmin}{p^\text{lo}}
\newcommand{\pmax}{p^\text{hi}}


\DeclareMathAlphabet{\mathsc}{OT1}{cmr}{m}{sc}

\newtheorem{definition}{Definition}
\newtheorem{property}{Property}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{claim}{Claim}
\newtheorem{corollary}{Corollary}
\newtheorem{conjecture}{Conjecture}

\renewcommand{\geq}{\geqslant}
\renewcommand{\ge}{\geqslant}
\renewcommand{\leq}{\leqslant}
\renewcommand{\le}{\leqslant}
\newcommand{\set}[1]{\{#1\}}
\newcommand{\la}{\leftarrow}
\newcommand{\bigO}{\mathcal{O}}
\renewcommand{\algorithmiccomment}[1]{/\!/ #1}
\newcommand{\pair}[1]{\langle#1\rangle}
\newcommand{\eps}{\varepsilon}
\newcommand{\lel}{{\mathsc{LE}}}
\newcommand{\dd}{{\mathsc{DD}}}
\newcommand{\infl}{{\mathsc{Influence}}}
\newcommand{\Rev}{{\mathsc{Reverse}}}
\newcommand{\For}{{\mathsc{Forward}}}
\newcommand{\val}{{\mathsc{val}}}
\newcommand{\lo}{{\mathsc{Lo}}}
\newcommand{\hi}{{\mathsc{Hi}}}
%\newcommand{\mid}{{\mathsc{Mid}}}
\newcommand{\mi}{{\mathsc{Mid}}}
\newcommand{\hid}{{\mathsc{Hid}}}
\newcommand{\N}{{\mathcal{N}}}
\newcommand{\A}{{\mathcal{A}}}
\newcommand{\D}{{\mathcal{D}}}
\renewcommand{\L}{{\mathcal{L}}}
\newcommand{\C}{{\mathcal{C}}}
\newcommand{\V}{{\mathcal{V}}}
\newcommand{\R}{{\mathcal{R}}}
\newcommand{\E}{{\mathcal{E}}}
\newcommand{\sa}{{\sc AE Byzantine Agreement}}
%\newcommand{\ssa}{{\sc Strong A.E.\ Agreement}}
\newcommand{\ssd}{{\sc Sufficient Support Detection}}
\newcommand{\bc}{{\sc Binary A.E.\ Agreement}}
\renewcommand{\t}{{\sc true}}
\newcommand{\f}{{\sc false}}
\newcommand{\hR}{\hat{\R}}
\newcommand{\byz}{B(n)}
\newcommand{\churn}{C(n)}
\newcommand{\Tinfl}{T_\text{infl}(n)}

\newcommand{\prob}{\text{Pr}}
\newcommand{\pr}{\text{Pr}}


\newboolean{short}
\setboolean{short}{false}


\newcommand{\shortOnly}[1]{\ifthenelse{\boolean{short}}{#1}{}}
\newcommand{\onlyShort}[1]{\ifthenelse{\boolean{short}}{#1}{}}
\newcommand{\longOnly}[1]{\ifthenelse{\boolean{short}}{}{#1}}
\newcommand{\onlyLong}[1]{\ifthenelse{\boolean{short}}{}{#1}}

\begin{document}
%\begin{titlepage}
    \title{}}
\author{}
\date{}
%\institute{}
\maketitle

\begin{abstract}
\end{abstract}

\thispagestyle{empty}
\setcounter{page}{0}




\end{document}

